61. Theory and Practice of Model Transformations :
پدیدآورنده : edited by Keith Duddy, Gerti Kappel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2013
62. Theory and Practice of Model Transformations
پدیدآورنده : edited by Zhenjiang Hu, Juan Lara
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
63. Tools for Practical Software Verification :
پدیدآورنده : edited by Bertrand Meyer, Martin Nordio.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2012
64. VDM'91 Formal Software Development Methods :
پدیدآورنده : edited by S. Prehn, W.J. Toetenel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
65. VDM '90 VDM and Z -- Formal Methods in Software Development :
پدیدآورنده : edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
66. Verification:
پدیدآورنده : edited by Nachum Dershowitz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2004
